Enabling Requirements Elaboration Through Synthesis, Scalable Refinement, and Analysis of Partial Behavior Models
نویسنده
چکیده
In this thesis, I propose a holistic approach for capturing, analyzing, and refining behavioral requirements of a software system by synthesizing, analyzing, and refining Modal Transition Systems in a scalable manner.
منابع مشابه
A Tandem Scalable Microwave-Assisted Williamson Alkyl Aryl Ether Synthesis under Mild Conditions
An efficient tandem synthesis of alkyl aryl ethers, including valuable building blocks of dialdehyde and dinitro groups under microwave irradiation and solvent free conditions on potassium carbonate as a mild solid base has been developed. A series of alkyl aryl ethers were obtained from alcohols in excellent yields by following the Williamson ether synthesis protocol under practical mild condi...
متن کاملImperial College of Science, Technology and Medicine Department of Computing Foundations for Behavioural Model Elaboration Using Modal Transition Systems PhD Thesis
Modal Transition Systems (MTS) are an extension of Labelled Transition Systems (LTS) that have been shown to be useful to reason about system behaviour in the context of partial information. MTSs distinguish between required, proscribed and unknown behaviour and come equipped with a notion of refinement that supports incremental modelling where unknown behaviour is iteratively elaborated into r...
متن کاملComputer-Assisted Analysis and Refinement of Informal Software Requirements Documents
This paper describes RARE (Reuse-Assisted Requirements Elicitation), a method enabling software requirements engineers to process informal software requirements effectively. RARE’s object is to assist analysts in transforming requirements expressed in natural language into a comprehensive collection of rigorous specifications that can be used as a starting point in software development. However...
متن کاملSupporting Refinement of Partial Behavior Models Under Model Composition and Abstraction
During requirements elicitation and preliminary design, a system’s behavior is typically partially specified: some behavior is defined as either forbidden or required, while other behavior is not yet categorized as either of those. The goal is then to gradually refine the specification and finally arrive at a complete behavioral description. Partial-behavior modeling formalisms, such as Modal T...
متن کاملDynamic configuration and collaborative scheduling in supply chains based on scalable multi-agent architecture
Due to diversified and frequently changing demands from customers, technological advances and global competition, manufacturers rely on collaboration with their business partners to share costs, risks and expertise. How to take advantage of advancement of technologies to effectively support operations and create competitive advantage is critical for manufacturers to survive. To respond to these...
متن کامل